4

Computational isomorphisms in classical logic

Year:
2003
Language:
english
File:
PDF, 307 KB
english, 2003
7

On the linear decoration of intuitionistic derivations

Year:
1995
Language:
english
File:
PDF, 1.53 MB
english, 1995
15

Linear logic and elementary time

Year:
2003
Language:
english
File:
PDF, 265 KB
english, 2003
18

Completeness of MLL Proof-Nets w.r.t. Weak Distributivity

Year:
2007
Language:
english
File:
PDF, 815 KB
english, 2007
22

Completeness of MLL proof-nets w.r.t. weak distributivity

Year:
2007
Language:
english
File:
PDF, 745 KB
english, 2007
23

A new deconstructive logic: linear logic

Year:
1997
Language:
english
File:
PDF, 2.95 MB
english, 1997
29

Witchcraft and psychotherapy

Year:
1986
Language:
english
File:
PDF, 1.13 MB
english, 1986